On Modeling Inhibitor Nets with Interval Processes and Interval Traces
نویسندگان
چکیده
Two interval semantics for elementary inhibitor Petri nets, interval process semantics and interval trace semantics are discussed and proved equivalent.
منابع مشابه
Using Interval Petri Nets and Timed Automata for Diagnosis of Discrete Event Systems (DES)
A discrete event system (DES) is a dynamic system that evolves in accordance with the abrupt occurrence, at possibly unknown irregular intervals, of physical events. Because of the special nature of these systems, different tools are currently used for their analysis, design and modeling. The main focus of this paper is the presentation of a new modeling approach of Discrete Event Systems. The ...
متن کاملOperation Planning of Wind Farms with Pumped Storage Plants Based on Interval Type-2 Fuzzy Modeling of Uncertainties
The operation planning problem encounters several uncertainties in terms of the power system’s parameters such as load, operating reserve and wind power generation. The modeling of those uncertainties is an important issue in power system operation. The system operators can implement different approaches to manage these uncertainties such as stochastic and fuzzy methods. In this paper, new ...
متن کاملUniversity of Newcastle upon Tyne COMPUTING
We are concerned with causality semantics in the executions of Petri nets with range arcs. Range arcs combine (and subsume) the distinctive features of inhibitor and activator arcs, and each such arc provides a means of specifying a range (a finite or infinite interval of non-negative integers) for the number of tokens in a place which makes enabling of a given transition possible. We demonstra...
متن کاملThe Effect of 8-week Sprint Interval Training with Consuming Saffron Extract on the Factors Affecting Longevity in Male Rats
Background and Objectives: Considering the significance of mitochondrial biogenesis in physiological processes and the role of antioxidants thereof, the effect of saffron supplement on mitochondrial biogenesis with regard to high-intensity training has not be investigated so far. Therefore, the current study aims to explore the effect of eight weeks of sprint interval training with consuming sa...
متن کاملInterval Type-II Fuzzy H∞ Frequency Control for an Island Microgrid
Frequency control is one of the key parts for the arrangement of the performance of a microgrid (MG) system. Theoretically, model-based controllers may be the ideal control mechanisms; however, they are highly sensitive to model uncertainties and have difficulty with preserving robustness. The presence of serious disturbances, the increasing number of MG, varying voltage supplies of MGs, and bo...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2015